p adic valuation

p进赋值